isotopic groupoid

合痕广群